About: SECD machine

Property	Value
dbo:Software/fileSize	76.0 (dbd:megabyte)
dbo:author	dbr:Peter_Landin
dbo:computingPlatform	dbr:X86-64 dbr:Free_Pascal
dbo:description	virtual and Abstract Machine target for functional programming language compiler (en) virtualni in abstraktni stroj, ki se uporablja kot cilj za prevajalnike funkcionalnih programskih jezikov (sl)
dbo:fileSize	76000000.000000 (xsd:double)
dbo:genre	dbr:Abstract_machine dbr:Virtual_machine
dbo:operatingSystem	dbr:Linux dbr:Microsoft_Windows dbr:DOS
dbo:wikiPageExternalLink	http://fsl.cs.uiuc.edu/images/e/ef/P157-landin.pdf http://skelet.ludost.net/sec/ http://www.brics.dk/RS/03/33/
dbo:wikiPageWikiLink	dbr:Abstract_machine dbr:Functional_programming dbc:Implementation_of_functional_programming_languages dbr:Closure_(computer_programming) dbr:Communications_of_the_ACM dbc:Models_of_computation dbr:Lambda_calculus dbr:Compiler dbr:University_of_Calgary dbc:Abstract_machines dbr:David_Turner_(computer_scientist) dbr:Lispkit_Lisp dbr:Olivier_Danvy dbr:Virtual_machine dbr:Program_counter dbr:Stack_(abstract_data_type) dbr:Associative_array dbr:Peter_Naur dbr:Peter_J._Landin dbr:Operational_semantics dbr:Apply dbr:Tagged_architecture dbr:Reverse_Polish_notation dbr:Stack_(data_structure) dbc:1964_in_computing dbr:Garbage_collection_(computer_science) dbr:CAR_and_CDR dbr:Krivine_machine dbr:CEK_Machine dbr:Interpreter_(computer_software) dbr:Closure_(computer_science)
dbp:author	dbr:Peter_Landin
dbp:discontinued	Yes (en)
dbp:genre	virtual and abstract machine (en)
dbp:includedWith	Lispkit Lisp, Lisp/370, pure_LISP (en)
dbp:language	English (en)
dbp:operatingSystem	dbr:Linux dbr:Microsoft_Windows dbr:DOS
dbp:platform	Free Pascal on IA-32, x86-64 (en)
dbp:size	~ 76K, 185K, 920K (en)
dbp:title	SECD machine (en)
dbp:wikiPageUsesTemplate	dbt:Start_date_and_age dbt:Reflist dbt:Cite_journal dbt:URL dbt:ISBN dbt:Infobox_software dbt:Short_description
dct:subject	dbc:Implementation_of_functional_programming_languages dbc:Models_of_computation dbc:Abstract_machines dbc:1964_in_computing
rdf:type	owl:Thing dbo:Software wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	SECD machine (en) SECD-Maschine (de) Machine SECD (fr) SECDマシン (ja) SECD-машина (ru) SECD抽象机 (zh)
owl:sameAs	freebase:SECD machine yago-res:SECD machine wikidata:SECD machine dbpedia-de:SECD machine dbpedia-fr:SECD machine dbpedia-zh:SECD machine dbpedia-ja:SECD machine dbpedia-ru:SECD machine dbpedia-global:SECD machine
prov:wasDerivedFrom	wikipedia-en:SECD_machine?oldid=1263558479&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:SECD_machine
is dbo:knownFor of	dbr:Peter_Landin
is dbo:wikiPageRedirects of	dbr:SECD dbr:SECD_abstract_machine dbr:Stack_Environment_Control_Dump_machine
is dbo:wikiPageWikiLink of	dbr:Abstract_machine dbr:List_of_functional_programming_topics dbr:Functional_programming dbr:Closure_(computer_programming) dbr:Lambda_calculus dbr:Categorical_abstract_machine dbr:Type_system dbr:Lispkit_Lisp dbr:Comparison_of_application_virtualization_software dbr:Graph_reduction dbr:Graph_reduction_machine dbr:List_of_programmers dbr:Semantics_(computer_science) dbr:Peter_Landin dbr:ISWIM dbr:Operational_semantics dbr:ICFP_Programming_Contest dbr:Stack_machine dbr:J_operator dbr:Addressing_mode dbr:Programming_language_theory dbr:List_of_computer_scientists dbr:Krivine_machine dbr:CEK_Machine dbr:SECD dbr:SECD_abstract_machine dbr:Stack_Environment_Control_Dump_machine
is dbp:knownFor of	dbr:Peter_Landin
is foaf:primaryTopic of	wikipedia-en:SECD_machine